1. The logic of programming
Author: / Eric C. R. Hehner
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Programming(Electronic computer),Logic,Symbolic and mathematical
Classification :
QA
76
.
76
.
H427
1984

